-
1 decidable set
Большой англо-русский и русско-английский словарь > decidable set
-
2 decidable set
Математика: разрешимое множество -
3 decidable set
мат. -
4 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
5 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
6 set
1. n комплект, набор; коллекцияin sets — в комплектах, в наборах
2. n сервиз3. n гарнитурtwin set — гарнитур, состоящий из жакета и джемпера
4. n комплект изданияa set of Pravda — комплект «Правды»
5. n серия, рядset of diagrams — ряд диаграмм, снятых одновременно
6. n совокупность7. n группа; составa poor set of players — плохая команда, плохие игроки
8. n набор, состав9. n компания, кругgambling set — картёжники, завсегдатаи игорных домов
10. n банда, шайка11. n театр. кино декорацияset designer — художник по декорациям; художник кинофильма
12. n кино съёмочная площадка13. n спец. прибор, аппарат; установка, агрегат14. n приёмник15. n фигура; последовательность фигурtest set — набор тестов; тестовая последовательность
16. n завивка и укладка волос17. n сюита духовной музыкиwords set to music — слова, положенные на музыку
18. n дор. брусчатка, каменная шашка19. n спорт. партия20. n спорт. сет21. n спорт. спорт. расстановка игроков22. n спорт. геол. свита23. n спорт. горн. оклад крепи24. n спорт. мат. множество25. n спорт. мат. семействоset of curves — семейство характеристик; семейство кривых
26. n спорт. полигр. гарнитура шрифта27. n тк. общие очертания, линияgeneral purpose shop set — комплект инструмента и оборудования ремонтной мастерской общего назначения
28. n строение; конфигурация; сложение29. n тк. g30. n направление31. n направленность; тенденция32. n психол. направленность, установка33. n наклон, отклонение34. n тк. поэт. заход, закатset agoing — пустил в ход; пущенный в ход
35. n музыкальный вечер36. n сад. молодой побег; завязь37. n с. -х. посадочный материал38. n с. -х. охот. стойка39. n с. -х. тех. разводка для пил, развод зубьев пилы, ширина развода40. n с. -х. тех. остаточная деформация41. n с. -х. тех. обжимка, державка42. n с. -х. полигр. толщина43. a неподвижный; застывший44. a определённый, твёрдо установленный, постоянныйset wage — твёрдый оклад, постоянная заработная плата
set on edge — устанавливать на ребро; установленный на ребро
set solid — текст, набранный с постоянным интерлиньяжем
set form — установленная форма; формуляр, бланк
45. a неизменный, постоянный; незыблемый46. a шаблонный; стереотипный47. a установленный48. a заранее установленный, оговорённый49. a упрямый, настойчивый; упорный50. a умышленный, преднамеренный51. a разг. готовый, горящий желаниемwe were set for an early morning start — мы подготовились к тому, чтобы выступить рано утром
52. a встроенный, прикреплённый53. v ставить, помещать, класть; положить, поставитьset the limit — устанавливать предел; положить конец
54. v обыкн. помещаться, располагатьсяa house set in a beautiful garden — дом, стоящий в прекрасном саду
a little town set north of London — маленький городок, расположенный к северу от Лондона
blue eyes set deep in a white face — голубые, глубоко посаженные глаза на бледном лице
set up — помещать, ставить, класть
set out — помещать, ставить, выставлять
55. v сажать, усаживать56. v насаживать, надевать57. v вставлять58. v направлять; поворачивать59. v иметь направление, тенденциюpublic opinion is setting with him — общественное мнение за него, общественное мнение складывается в его пользу
60. v подготавливать; снаряжать; приводить в состояние готовностиto set the stage for the application of a new method of therapy — подготовить почву для нового метода лечения
I was all set for the talk — я готовился к этому разговору; я знал, что меня ждёт этот разговор
set in order — приводить в порядок; исправлять
61. v устанавливать, определять, назначать62. v диал. ирон. часто идти, быть к лицуdo you think this bonnet sets me? — как вы думаете, идёт мне эта шляпка?
a man set in authority — лицо, облечённое властью
63. v редк. сидетьthe jacket sets badly — жакет плохо устанавливать, регулировать
64. v мор. пеленговать65. v стр. производить кладку66. программа поиска внеземного разумаСинонимический ряд:1. express (adj.) especial; express; special; specific2. fast (adj.) fast; secure; tenacious; tight3. fixed (adj.) bent; certain; common; customary; decided; decisive; determined; established; firm; fixed; habitual; intent; resolute; solid; stable; stated; stipulated; usual4. little (adj.) borne; ineffectual; limited; little; mean; narrow; paltry; small5. predetermined (adj.) foreordained; predetermined; prefixed; prescribed; resolved6. ready (adj.) prepared; primed; ready7. rigid (adj.) immovable; obstinate; relentless; rigid; stiff; stubborn; unyielding8. settled (adj.) confirmed; entrenched; ingrained; inveterate; settled9. situated (adj.) located; placed; positioned; sited; situate; situated10. bearing (noun) address; air; bearing; comportment; demeanor; deportment; mien; port; presence11. collection (noun) assemblage; assortment; collection; kit; outfit; pack; series12. gang (noun) circle; clique; crowd; gang13. gift (noun) aptness; bump; faculty; flair; genius; gift; head; knack; nose; talent; turn14. group (noun) array; batch; battery; body; bunch; bundle; circle; clique; clot; clump; cluster; clutch; company; coterie; crowd; faction; group; knot; lot; organisation; organization; parcel; passel; platoon; push; sect; sort; suite15. inclination (noun) appearance; aspect; attitude; bent; direction; disposition; inclination; position16. order (noun) category; class; classification; order17. scenery (noun) backdrop; decoration; mise-en-scene; scene; scenery; setting; stage; stage set; stage setting18. belong (verb) belong; fit; go19. brood (verb) brood; cover; hatch; incubate; sit20. call (verb) approximate; call; estimate; reckon21. coagulate (verb) clot; coagulate; gel; gelate; gelatinize; jell; jellify; jelly22. dictate (verb) decree; dictate; impose; lay down; ordain; prescribe23. dictated (verb) decreed; dictated; imposed; laid down; ordained; prescribed24. direct (verb) address; aim; aimed; cast; direct; head; incline; level; point; present; train; turn; zero in25. establish (verb) appoint; assign; determine; establish; fix; laid; lay; place; post; spread; station; stick; stuck26. fixed (verb) arrange; conclude; fixed; negotiate; settle27. harden (verb) cake; concrete; congeal; dried; dry; gelled; harden; indurate; petrified; solidified; solidify; stiffen; thicken28. incite (verb) abet; foment; incite; instigate; provoke; raise; set on; stir up; whip up29. install (verb) adjust; attune; calibrate; frame; install; mount; order; regulate; tune30. put (verb) locate; position; put; site; situate31. sink (verb) decline; dip; go down; sink; wane32. value (verb) evaluate; price; prize; rate; value33. went (verb) bet; betted; gamble; game; play; put on; risk; stake; venture; wager; wentАнтонимический ряд:approximate; disorder; loosen; melt; mollify; mount; move; rise; run; soar; soften; stir; uncertain; unstable; variable -
7 decidable
-
8 decidable
a разрешимыйСинонимический ряд:determinable (adj.) determinable; resolvable; settleable -
9 decidable
English-Russian dictionary of Information technology > decidable
-
10 ambiguity set
-
11 countable set
-
12 creative set
-
13 derived set
-
14 enumerable set
перечислимое множество; счетное множество -
15 infinite set
-
16 null set
мат. пустое множество -
17 reducible set
-
18 closed set
-
19 connected pixel set
English-Russian big polytechnic dictionary > connected pixel set
-
20 countable set
См. также в других словарях:
Decidable — The word decidable may refer to: Decidable language Decidability (logic) for the equivalent in mathematical logic Gödel s incompleteness theorem, a theorem on the indecidability of languages consisting of true statements in mathematical logic.… … Wikipedia
Decidable sublanguages of set theory — In mathematical logic, various sublanguages of set theory are decidable.[1][2] These include: Sets with Monotone, Additive, and Multiplicative Functions.[3] Sets with restricted quantifiers.[4] References ^ Cantone, D., E. G … Wikipedia
decidable — adjective a) capable of being decided. It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine. b) describing a set for which there exists an algorithm that will determine whether any element is or is… … Wiktionary
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
semi-decidable — adjective Of a set, such that there is a deterministic algorithm such that (a) if an element is a member of the set, the algorithm halts with the result positive , and (b) if an element is not a member of the set, (i) the algorithm does not halt … Wiktionary
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
Enumeration — In mathematics and theoretical computer science, the broadest and most abstract definition of an enumeration of a set is an exact listing of all of its elements (perhaps with repetition). The restrictions imposed on the type of list used depend… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Craig's theorem — In mathematical logic, Craig s theorem states that any recursively enumerable set of well formed formulas of a first order language is (primitively) recursively axiomatizable. This result is not related to the well known Craig interpolation… … Wikipedia
